Automata theory - PDFSEARCH.IO - Document Search Engine

Automata theory
Results: 1263

#	Item
231	Languages of Nested Trees ? Rajeev Alur1 , Swarat Chaudhuri1 , and P. Madhusudan2 1 Add to Reading List Source URL: www.cs.rice.edu Language: English - Date: 2008-03-07 16:10:51 Nested word Words Computer science Models of computation Mathematics Regular tree grammar Finite-state machine Binary tree Tree Automata theory Formal languages Theoretical computer science
232	Aoraï Plugin Tutorial (A.k.a. LTL to ACSL) Nicolas Stouls and Virgile Prevosto , Add to Reading List Source URL: frama-c.com Language: English - Date: 2013-09-24 04:53:02 Automaton Technology Computing Automata theory Software Frama-C Linear temporal logic
233	Cellular Engineering M. Burgin Department of Mathematics University of California, Los Angeles 405 Hilgard Avenue Add to Reading List Source URL: www.complex-systems.com Language: English - Date: 2012-09-20 14:37:05 Cellular automaton Theoretical computer science Mathematics Finite-state machine Reversible cellular automaton Cellular automata Theory of computation Automata theory
234	The Logic in Computer Science Column by Yuri Gurevich Microsoft Research One Microsoft Way, Redmond WA 98052, USA Add to Reading List Source URL: research.microsoft.com Language: English - Date: 2011-09-16 13:09:59 Models of computation Mathematics Computer science Combinatorics on words Finite state transducer Tree automaton Finite-state machine Alphabet Regular language Automata theory Formal languages Theoretical computer science
235	. A nondeterministic probabilistic monad with nondeterminism for coalgebraic trace semantics . Add to Reading List Source URL: calco2011.ecs.soton.ac.uk Language: English - Date: 2011-09-18 15:59:28 Software engineering Functional programming Monad Theoretical computer science Models of computation Automata theory Theory of computation
236	Regularity Problems for Weak Pushdown ω-Automata and Games Extended VersionChristof L¨oding and Stefan Repke⋆ Lehrstuhl f¨ ur Informatik 7, RWTH Aachen, Germany Add to Reading List Source URL: www.automata.rwth-aachen.de Language: English - Date: 2012-09-03 08:07:06 Formal languages Computer science Deterministic pushdown automaton Ω-automaton Pushdown automaton Omega language Nondeterministic finite automaton Context-free language Regular language Automata theory Theoretical computer science Models of computation
237	A Loop Acceleration Technique to Speed Up Verification of Automatically-Generated Plans Robert P. Goldman and Michael J.S. Pelican and David J. Musliner SIFT, LLC 211 N. First St. Minneapolis, MN 55401 Add to Reading List Source URL: icaps11.icaps-conference.org Language: English - Date: 2013-04-15 04:52:48 Applied mathematics Computer science Model checkers Formal methods Logic in computer science Formal verification Model checking State transition system Uppaal Model Checker Models of computation Theoretical computer science Automata theory
238	Research internship (Master M2) Title Verification of Distributed Systems with Parameterized Network Topology Description Add to Reading List Source URL: www.lsv.ens-cachan.fr Language: English - Date: 2014-10-08 10:04:52 Computational complexity theory Automata theory Symposium on Theoretical Aspects of Computer Science Cryptographic protocols Model checking Network topology
239	Growing Patterns in One Dimensional Cellular Automata Add to Reading List Source URL: www.complex-systems.com Language: English - Date: 2013-03-26 14:35:02 Holomorphic functional calculus Operator theory Mathematical analysis Laplace transform
240	Recursive Cellular Automata Invariant Sets Add to Reading List Source URL: www.complex-systems.com Language: English - Date: 2013-03-26 14:30:37 Discrete mathematics Theoretical computer science Formal languages Ergodic theory Subshift of finite type Shift space Recursively enumerable set Dynamical system Cellular automaton Combinatorics on words Mathematics Automata theory

UPDATE